Using ambients to control resources

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals aim at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of mobile ambients, named controlled ambients, that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled ambients, which makes static resource control possible in our setting, and enhance it with a rich notion of resources .     

Isotropic Energies, Filters and Splines for Vector Field Regularization

The aim of this paper is to propose new regularization and filtering techniques for dense and sparse vector fields, and to focus on their application to non-rigid registration. Indeed, most of the regularization energies used in non-rigid registration operate independently on each coordinate of the transformation. The only common exception is the linear elastic energy, which enables cross-effects between coordinates. Cross-effects are yet essential to give realistic deformations in the uniform parts of the image, where displacements are interpolated.In this paper, we propose to find isotropic quadratic differential forms operating on a vector field, using a known theorem on isotropic tensors, and we give results for differentials of order 1 and 2. The quadratic approximation induced by these energies yields a new class of vectorial filters, applied numerically in the Fourier domain. We also propose a class of separable isotropic filters generalizing Gaussian filtering to vector fields, which enables fast smoothing in the spatial domain. Then we deduce splines in the context of interpolation or approximation of sparse displacements. These splines generalize scalar Laplacian splines, such as thin-plate splines, to vector interpolation. Finally, we propose to solve the problem of approximating a dense and a sparse displacement field at the same time. This last formulation enables us to introduce sparse geometrical constraints in intensity based non-rigid registration algorithms, illustrated here on intersubject brain registration.     

Generation and adaptation of computational surface meshes from discrete anatomical data

Fast and accurate scanning devices are nowadays widely used in many engineering and biomedical fields. The resulting discrete data is usually directly converted into polygonal surface meshes, using ‘brute‐force’ algorithms, often resulting in meshes that may contain several millions of polygons. Simplification is therefore required in order to make storage, computation and display possible if not efficient. In this paper, we present a general scheme for mesh simplification and optimization that allows to control the geometric approximation as well as the element shape and size quality (required for numerical simulations). Several examples ranging from academic to complex biomedical geometries (organs) are presented to illustrate the efficiency and the utility of the proposed approach. Copyright © 2004 John Wiley & Sons, Ltd.     

Oxidation Behavior of the CrMnFeCoNi High-Entropy Alloy

Oxidation of the Cr₂₀Mn₂₀Fe₂₀Co₂₀Ni₂₀ (at%) high-entropy alloy (HEA) was investigated at 500–900 °C in laboratory air. At 600 °C the oxide was mainly Mn₂O₃ with a thin inner Cr₂O₃ layer; at 700 and 800 °C it was mainly Mn₂O₃ with some Cr enrichment; at 900 °C it was Mn₃O₄. The oxidation rate was initially linear but became parabolic at longer times with an activation energy of 130 kJ/mol, comparable to that of Mn diffusion in Mn oxides but much lower than that for sluggish diffusion of Mn in the HEA. The diffusion of Mn through the oxide is considered to be the rate-limiting process.     

Smart-MEMS based inertial measurement units: gyro-free approach to improve the grade

Microsystem Technologies - Inertial measurement units (IMU) are essentially a combination of acceleration and rotation rate sensors, generating position and attitude information. For tactical and...     

Behavior of Boron in Molten Aluminum and its Grain Refinement Mechanism

The mechanism of heterogeneous grain refining of aluminum by ultrafine elemental boron particles was investigated. In order to facilitate the observation of the boron-aluminum interface, a boron filament was introduced in a melt at 1013 K (740 °C) containing different levels of Ti. The Al/B interface was studied using transmission electron microscopy and different phases were identified using the electron diffraction method. The experimental results showed that boron is dissolved in pure aluminum while its dissolution is inhibited in presence of titanium solute. A thin layer of TiB₂ formed at the surface of boron thickens with residence time in the melt. The mechanisms by which aluminum is crystallized on boron are discussed.     

Evaluation of interconnected production sites taking into account multidimensional uncertainties

The production sites of international companies are becoming increasingly interconnected. Due to the uncertainty of multiple factors, determining a location is a strategic choice entailing high financial risk. For this reason, a method for site evaluation was developed allowing multidimensional, i.e., both quantitative and qualitative, uncertainties to be taken into account. The uncertainties are modeled with both probability and fuzzy-set theory and integrated into a modular-structured monetary calculation model. For the analysis and interpretation of evaluation results, methods have been developed which allow risk assessment. The developed method provides a way to handle existing location risks and can thus ensure the success of manufacturing companies in the long term.